Defeasible logic programming: an argumentative approach
نویسندگان
چکیده
منابع مشابه
Defeasible Logic Programming: An Argumentative Approach
The work reported here introduces Defeasible Logic Programming (DeLP), a formalism that combines results of Logic Programming and Defeasible Argumentation. DeLP provides the possibility of representing information in the form of weak rules in a declarative manner, and a defeasible argumentation inference mechanism for warranting the entailed conclusions. In DeLP an argumentation formalism will ...
متن کاملt-DeLP: A Temporal Extension of the Defeasible Logic Programming Argumentative Framework
The aim of this paper is to offer an argumentation-based defeasible logic that enables forward reasoning with time. We extend the DeLP logical framework by associating temporal parameters to literals. A temporal logic program is a set of temporal literals and durative rules. These temporal facts and rules combine to into durative arguments representing temporal processes, that permit us to reas...
متن کاملEmbedding defeasible logic into logic programming
Defeasible reasoning is a simple but efficient approach to nonmonotonic reasoning that has recently attracted considerable interest and that has found various applications. Defeasible logic and its variants are an important family of defeasible reasoning methods. So far no relationship has been established between defeasible logic and mainstream nonmonotonic reasoning approaches. In this paper ...
متن کاملModeling News Trust: A Defeasible Logic Programming Approach
Deciding whether to trust an information sources on the Web has been recognized as one of the main problems in today’s Information Society. In particular, assessing the credibility of news is a major research challenge. Typically, criteria such as freshness, relevance and viewer profile have been used by news services to rank news. However, these services do not deal with credibility from a qua...
متن کاملProgramming Cognitive Agents in Defeasible Logic
Defeasible Logic is extended to programming languages for cognitive agents with preferences and actions for planning. We define rule-based agent theories that contain preferences and actions, together with inference procedures. We discuss patterns of agent types in this setting. Finally, we illustrate the language by an example of an agent reasoning about web-services.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theory and Practice of Logic Programming
سال: 2004
ISSN: 1471-0684,1475-3081
DOI: 10.1017/s1471068403001674